Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

Para comemorarmos o centenário do patrono da Educação Brasileira, Paulo Reglus Neves Freire, iremos neste breve estudo propor um diálogo entre a pedagogia libertária de Freire e algumas princípios filosóficos que a fundamentam. Inicialmente, investigamos a trajetória histórica do pedagogo nordestino, e os momentos mais marcantes de sua vida cosmopolita. Em segundo, apresentaremos alguns dos principais alicerces de sua metodologia pedagógica, contudo, dada a vasta obra publicada por Freire, qualquer breve revisão será fadada em apenas ser um breve vislumbre da (...) filosofia e pedagogia freireana. Por fim, iremos explorar algumas das origens filosóficas e políticas do conceito de pedagogia libertária, e como essas origens podem ser ligadas a filosofia Anarquista, dado a algumas semelhanças evidentes. A crítica a autoridade injustificada, a amorosa crença do caráter social e solidário do indivíduo humano, e um forte defesa da emancipação humana, algo que só pode ser alcançado através da busca pela liberdade e autonomia do sujeito. Tais paralelos levam à conclusão de que se a pedagogia libertária é um ato de amor, a filosofia libertária também deve ser, pois, ambas se nutrem da mesma fonte, e almejam o mesmo lugar: a emancipação humana. (shrink)

What does Cyberpunk and AI Ethics have to do with each other? Cyberpunk is a sub-genre of science fiction that explores the post-human relationships between human experience and technology. One similarity between AI Ethics and Cyberpunk literature is that both seek a dialogue in which the reader may inquire about the future and the ethical and social problems that our technological advance may bring upon society. In recent years, an increasing number of ethical matters involving AI have been pointed and (...) debated, and several ethical principles and guides have been suggested as governance policies for the tech industry. However, would this be the role of AI Ethics? To serve as a soft and ambiguous version of the law? I would like to promote in this article a more Cyberpunk way of doing AI Ethics, whit a more anarchic way of governance. In this study, I will seek to expose some of the deficits of the underlying power structures of our society, and suggest that AI governance be subject to public opinion, so that ‘good AI’ can become ‘good AI for all’. (shrink)

Um posicionamento muito comum entre teóricos do campo de pesquisa em Inteligência Artificial é aquele no qual definimos “Inteligência” como uma capacidade intrinsecamente relacionada à perseguição de metas e objetivos, algo que podemos chamar de uma “definição teleológica” para o fenômeno de inteligência. Contudo, uma possível crítica contra esta definição pode ser levantada devido a sua aparente vagueza. Como qualquer comportamento pode ser descrito como um objetivo a ser cumprido, e funções de utilidade pertencem a uma vasta família de funções, (...) podemos dizer que “qualquer comportamento”, desde que esse possa ser descrito como um objetivo sendo perseguido (uma função de utilidade sendo maximizada), serve como evidência de agência inteligente. Neste estudo, gostaria de propor uma definição alternativa para o conceito de Inteligência. Uma definição metafísica, i.e., a Hipótese da Permissibilidade. Para defender tal proposta, irei apresentar um paralelo entre: (1) teoria da otimização; (2) nosso entendimento contemporâneo sobre fenômenos físicos; e (3) aquilo que chamamos de Aprendizagem de Máquina. No fim, proponho que “Inteligência” deve ser compreendida como uma propriedade física permissível de nossa realidade. Uma propriedade a que todos os sistemas físicos têm acesso. (shrink)

This article presents what I call the Central Normative Proposal of Luis Villoro. This proposal is based on an interpretation of the principle of non-exclusion in ethics and epistemology. The core argument of the paper is based on a linguistic analogy that demonstrates the importance of reasonable communication for non-exclusion in epistemology, which is assumed in various theses of Villoro. A consequence of this analogy for non-exclusion in ethics is that Villoro defends basing what is reasonable on the concrete possibilities (...) of mutual understanding, starting with asymmetries and injustices that are obfuscated or eliminated in a contractualist analysis, or one that begins with strictly egalitarian principles. This criticism is compatible with egalitarian views, but it assumes a radically different point of departure. Although various theses by Villoro are compatible with egalitarian notions, given this point of departure based on asymmetries of power his proposal should be understood based on our cognitive capacities to understand and appreciate such asymmetries. For this reason, the paper concludes with an analysis of the notion of reasonableness, which under my interpretation Villoro defines in terms of our capacities for attention, that are not reducible to beliefs or systems of beliefs. In this way, the Central Normative Proposal of Villoro depends on the convergence between truth and the dignity of the members of communities in which as matter-of-fact asymmetries exist and must be eliminated through concrete communicative efforts. (shrink)

In this paper we analyze Libet’s conclusions on «free will» (FW), rejecting his view of the concept and defending a partially aligned view with Wittgenstein’s early remarks on FW. First, the concept of Readiness Potential (RP) and Libet’s view are presented. Second, we offer an account of Wittgenstein´s point of view. Third, a dual-domain analysis is proposed; finally, we offer our conclusions. This article´s conclusion is part of an ongoing research.

A ansiedade gerada pela possível criação de inteligência artificial geral, algo profetizado desde a fundação do campo de pesquisa (i.e., Dartmouth's Summer Research Project on Artificial Intelligence) (MCCARTHY et al., 1955), é algo comumente investigado dentro dos círculos transhumanistas e singularistas (KURZWEIL, 2005; CHALMERS, 2010; TEGMARK, 2016; 2017; CORRÊA; DE OLIVEIRA, 2021). Por exemplo, em seu livro “Superintelligence: Paths, Dangers, Strategies”, Nick Bostrom (2014) apresenta uma série de argumentos para justificar a ideia de que precisamos ser cautelosos em relação a (...) criação de inteligência artificial avançada ou inteligência artificial geral. Contudo, muito dos argumentos levantados, em suas versões originais (i.e., convergência instrumental e ortogonalidade (OMOHUNDRO, 2008), são baseados em noções “vagas” de conceitos complexos (i.e., “inteligência”, “racionalidade”, “agência”). O objetivo deste resumo (apresentação) será introduzir o leitor/ouvinte ao campo de Segurança da Inteligência Artificial. Nesse campo, questões como o “Problema de controle” (i.e., evitar construir inadvertidamente uma inteligência artificial geral que prejudicará seus criadores) e o “Problema de Alinhamento” (i.e., criar sistemas de inteligência artificial que permaneçam seguros mesmo quando atuando de forma autônoma no ambiente real), que são questões muitas vezes debatidas apenas dentro da Filosofia ou Ficção Científica, ganham um aspecto muito mais real e formal (AMODEI et al., 2016, HUBINGER et al., 2019). A criação de alguns dos modelos de inteligência artificial mais avançados já criados (e.g., AlphaGo, GPT-3) (SILVER el al., 2016; BROWN et al., 2020), está ligado a utilização de dois paradigmas da área de Aprendizagem de Máquina, i.e., Aprendizagem Profunda e Aprendizagem por Reforço. Dentro deste contexto, podemos definir “um sistema autônomo inteligente” como “um sistema que implementa uma política ótima (tecnicamente "ϵ-greedy optimal") para alguma função de recompensa” (ORSEAU et al., 2018). Podemos também definir tais sistemas como “maximizadores de utilidade esperada” (VON NEUMANN; MORGENSTERN, 1944). Um sistema de IA maximizando uma função de recompensa (i.e., objetivo) especificada erroneamente pode vir a causar danos reais quando interagindo no ambiente real, seja por erros de especificação (i.e., Efeitos Colaterais Negativos, Hackeamento de Recompensa, Interrupção Segura), ou quando o domínio de treinamento é diferente do domínio de implantação (i.e., Exploração Segura e Mudança de Domínio). Ao mesmo tempo, especificar objetivos complexos (e.g., preferências e valores humanos) é uma tarefa extremamente complexa, e quando visamos a possibilidade de inteligência artificial avançada agindo no mundo real, é imperativo que tais sistemas estejam: (1) alinhados com nossos objetivos; e (2) desenvolvidos com um design que evite os problemas citados acima. Contudo, tais problemas permanecem em aberto. Por fim, gostaria de ressaltar que no cerne desta problemática, não temos apenas problemas técnicos de aprendizagem de máquina, mas uma importante questão de cunho “Moral”: “O que é a coisa ‘certa” a fazer”? “Qual o objetivo correto a ser perseguido”? “Como podemos especificar isso”? Perguntas como essas prometem um fértil campo para pesquisas interdisciplinares envolvendo inteligência artificial, aprendizagem de máquina, ciências da computação e filosofia moral. (shrink)

One challenge faced by aesthetics is the development of an account able to trace out the continuities and discontinuities between general experience and aesthetic experiences. Regarding this issue, in this paper, I present an enactive model of some raw cognitive dynamics that might drive the progressive emergence of aesthetic experiences from the stream of general experience. The framework is based on specific aspects of John Dewey’s pragmatist philosophy and embodied aesthetic theories, while also taking into account research in ecological psychology, (...) cognitive sciences, and dynamic systems theory. The model focuses on dynamically relevant nodes at the pre-reflective and the reflective side of experience that would work as nested rhythmic constraints at different cognitive timescales with the potential to shunt experiences toward the aesthetic in everyday situations. My proposal constitutes a way to explore aesthetic experiences from an enactive perspective that regards them as transformative events in which cognitive processes entrain and are entrained by changes taking place in the environment, the brain, and the body. (shrink)

According to the Principle of Alternative Possibilities, an agent is morally responsible for an action of hers only if she could have done otherwise. The notion of a robust alternative plays a prominent role in recent attacks on PAP based on so-called Frankfurt cases. In this paper I defend the truth of PAP for blameworthy actions against Frankfurt cases recently proposed by Derk Pereboom and David Widerker. My defence rests on some intuitively plausible principles that yield a new understanding of (...) the concept of a robust alternative. I will leave aside whether PAP also holds for praiseworthy actions -/- Según el Principio de Posibilidades Alternativas, un agente es moralmente responsable de una acción sólo si hubiera podido actuar de otro modo. La noción de alternativa robusta desempeña un papel prominente en ataques recientes al PPA basados en los llamados casos Frankfurt. En este artículo defiendo el PPA para la culpabilidad moral frente a casos Frankfurt propuestos recientemente por Derk Pereboom y David Widerker. Mi defensa descansa en algunos principios intuitivamente plausibles que dan lugar a una comprensión nueva del concepto de alternativa robusta. No trataré la cuestión de la verdad del PPA para acciones moralmente laudables. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

For more than a century now, the automation of the means of work has created great apprehension among us. After all, will we all be replaced by machines in the future? Will all forms of labor be automatable? Such questions raise several criticisms in the literature concerned with machine ethics. However, in this study, I will approach this problem from another angle. After all, we can criticize the automation of the means of work in several ways. I invite the reader (...) to entertain the following hypothesis: What if the automation of the means of labor is something beneficial? What if human emancipation does come through our technological development? If the answer is yes, why do we still work so much? I conclude that if automation processes are applied to key points in our social structure, we can emancipate the individual from a reality where we work for no reason. (shrink)

The Whorfian hypothesis has received support from recent findings in psychology, linguistics, and anthropology. This evidence has been interpreted as supporting the view that language modulates all stages of perception and cognition, in accordance with Whorf’s original proposal. In light of a much broader body of evidence on time perception, I propose to evaluate these findings with respect to their scope. When assessed collectively, the entire body of evidence on time perception shows that the Whorfian hypothesis has a limited scope (...) and that it does not affect early stages of time perception. In particular, all the available evidence shows that the scope of language modulation is limited in the case of time perception, and that the most important mechanisms for time perception are cognitive clocks and simultaneity windows, which we use to perceive the temporal properties of events. Language modulation has distorting effects, but only at later stages of processing or with respect to specific categorization tasks. The paper explains what is the role of these effects in the context of all the available evidence on time cognition and perception. (shrink)

Resumo: Tradução, com comentário, de uma inscrição presente em pequeno frontão helenístico do século II AEC, que trata de um decreto homenageando o demarco Pânfilo, e tanto demonstra como os Mistérios de Elêusis ainda eram importantes no período Helenístico, como comprova o papel das mulheres na condução dos eventos religioso. Também a atesta a organização de festivais pequenos e grandes, a liturgia de eventos no teatro, procissões e sacrifícios. -/- Palavras-chave: decreto; epigrafia; Mistérios de Elêusis. -/- Abstract: Portuguese translation, with (...) comments, of an inscription on a small Hellenistic pediment from the 2 nd century BCE about a decree honoring the demarch Pamphilos. The inscription displays how the Eleusinian Mysteries were still important in the Hellenistic period, and proves as well the role of women in the conduct of religious events. It also gives evidence of the organization of small and large festivals, of the liturgy of events in the theater, and of religious processions and sacrifices. -/- Keywords: decree; epigraphy; Eleusinian Mysteries. (shrink)

In his article 'Individualism and Descartes' (Teorema, vol. 16, pp. 71-86), William Ferraiolo puts into question the widely accepted interpretation of Descartes as an individualist about mental content. In this paper, I defend this interpretation of Descartes thought against Ferraiolo's objections. I hold, first, that the interpretation is not historically misguided. Second, I try to show that Descartes’s endorsement of anti-individualism would lead either to depriving skeptical hypotheses of their force or to rejecting the epistemological privilege of the first person. (...) Finally, I argue that Ferraiolo’s objections to the individualistic interpretation rest on two important errors: a misapprehension of the argumentative order of the Meditations and a confusion between the notions of causal and constitutive dependence of content on the external environment. (shrink)

The project of growing meat artificially represents for some the next best thing to humanity. If successful, it could be the solution to several problems, such as feed- ing a growing global population while reducing the environmental impact of raising animals for food and, of course, reducing the amount and degree of animal cruelty and suffering that is involved in animal farming. In this paper, I argue that the issue of the morality of such a project has been framed only (...) in terms of the best conse- quences for the environment, animals, and humans, or in terms of deontic princi- ples. I argue that to appreciate how deep and difficult this issue is, it is necessary to consider it in terms of a virtue-oriented approach. Such an approach will reveal aspects that are not apparent, not contemplated by typical approaches, but are essen- tial to our understanding of the morality of lab-grown meat. As I argue, evaluating the issue from a virtue-oriented perspective suggests that the project of in vitro meat should not be supported because it stems from unvirtuous motivations. (shrink)

Revelación y religiones es el título del libro editado por Xavier Morlans i Molina, publicado en el 2016 por la editorial Herder. De manera sencilla y sin recargar los capítulos de información sobre las religiones tratadas, los autores se abocan a la misión de buscaranalogías y diferencias de la idea de revelación en dichas tradiciones. El orden que tiene el libro es cronológico, es decir, según la aparición histórica de cada tradición religiosa.

Expressivists claim that normative judgments (NJ) are non-cognitive states. But what kind of states are they, exactly? Expressivists need to provide us with an adequate account of their nature. Here, I argue that there are structural features that render this task rather daunting. The worry takes the form of a looming dilemma: NJ are either conative states (i.e. states with a world-to-mind direction of fit) or they are not. If they are, then they are either attitudes de se (i.e. attitudes (...) about oneself) or they are not. If they are, then they’re unable to account for disagreement. If they are not, then they're unable to account for agent-relative NJ. So NJ cannot be conative states (they cannot have a world-to-mind direction of fit). On the other hand, however, if NJ are not conative states (if they are states without a direction of fit, like affective or other sui generis non-cognitive, non-conative attitudes) then it remains a mystery how they support relations of disagreement. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to any logical order, (...) that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

Jean-François Lyotard s'interroga sulla forma delle organizzazioni sociali e ne identifica la problematica principale nell'eterogeneità che esse veicolano tra i differenti regimi di frasi: si sofferma, in particolare, sull'incompatibilità tra il regime della conoscenza e quello della libertà. A partire da tale riflessione, l'articolo esamina come le società attuali, multiculturali e globalizzate, siano chiamate oggi a compiere una scelta: abbracciare la sintesi dell'eterogeneo oppure rispettare e far rispettare la presenza inevitabile del dissidio. Nella prima occorrenza si corre il rischio di (...) trasformare il diritto in succedaneo dell'ordalia e di accendere la guerra di tutti contro tutti. Nella seconda, invece, si sperimenta la costruzione d'interazioni di tipo dipolare le quali, pur non potendo garantire contro lo scatenamento smisurato della violenza, riescono potenzialmente ad arginarlo. Queste ultime, infatti, spostano la misura della sopravvivenza dall'esclusione delle ostilità alla loro elusione, dal rifiutare il conflitto all'addomesticarlo, dal rinunciare allo sforzo muscolare al calibrarlo. (shrink)

Marcus William Hunt argues that when co-parents disagree over whether to raise their child (or children) as a vegan, they should reach a compromise as a gift given by one parent to the other out of respect for his or her authority. Josh Millburn contends that Hunt’s proposal of parental compromise over veganism is unacceptable on the ground that it overlooks respect for animal rights, which bars compromising. However, he contemplates the possibility of parental compromise over ‘unusual eating,’ of animal-based (...) foods obtained without the violation of animal rights. I argue for zero parental compromise, rejecting a rights-oriented approach, and propose a policy that an ethical vegan parent and a non-vegan co-parent should follow to determine how to raise their children. (shrink)

I argued against relationalism with four objections. One of those was that, under reasonable assumptions, relationalism's modal relation needs to be what I called an `extra order' relation. I recently came to notice that the objection could have been posed with much less substantive assumptions. In particular, I recently noticed that order-dissonant predications are not required for the objection; therefore, noncumulativism is not relevant for my argument.

My main aim in this paper is to improve and give further support to a defense of the Principle of Alternative Possibilities (PAP) against Frankfurt cases which I put forward in some previous work. In the present paper I concentrate on a recent Frankfurt case, Pereboom's "Tax Evasion". After presenting the essentials of my defense of PAP and applying it to this case, I go on to consider several objections that have been (or might be) raised against it and argue (...) that they don't succeed. I conclude by pointing out that my criticism of Pereboom's example suggests a general strategy against other actual or possible Frankfurt cases. (shrink)

Franz Brentano is not usually associated with mathematics. Generally, only Brentano’s discussion of the continuum and his critique of the mathematical accounts of it is treated in the literature. It is this detailed critique which suggests that Brentano had more than a superficial familiarity with mathematics. Indeed, considering the authors and works quoted in his lectures, Brentano appears well-informed and quite interested in the mathematical research of his time. I specifically address his lectures here as there is much less to (...) be found about mathematics in his published works. Besides Brentano’s own work, it is quite remarkable to see that practically all of his better-known students sooner or later produced a work on the philosophy of mathematics. This also encourages the supposition not just of a common interest in the matter, but of a common theoretical core. All this prompts the question: Can we speak of a Brentanist philosophy of mathematics? (shrink)

When “Sinning Against Frege” was published in 1979 I thought it should have given a real turn in the discussion on Frege’s ideas. Actually the impact was less then I imagined, and the problem was that – at the end of the story – Tyler Burge’s interpretation should have posed a shadow on the direct reference theories and the Millean criticism of descriptivist theories of proper names, based on the criticism of the identification of Frege’s notion of sense with linguistic (...) meaning or connotation1. In fact Burge (1979) claims that the identification of Frege’s notion of sense with the notion of linguistic meaning is a «basic misunderstanding» of Frege’s work2. This claim implies that Fregean senses are not like Mill’s connotations; therefore many direct-reference criticisms against Frege, which are grounded on Mill’s claims that proper names have no connotation, lose their efficacy. Burge, in giving specifications3, apparently accepts at least the idea that sense is an aspect of meaning, in particular «the aspect of meaning relevant to fixing the truth value of sentences». This feature is the “harmless” part of the assimilation of sense and linguistic meaning; but this assimilation becomes dangerous when context dependence is concerned. Revisiting Burge (1979), after more than two decades of debate on indexicals, may help to better understand the originality and the limitation of his claims. (shrink)

This paper is a comparison of Kripke’s and Künne’s interpretations of Frege’s theory of indexicals, especially concerning Frege’s remarks on time as “part of the expression of thought”. I analyze the most contrasting features of Kripke’s and Künne’s interpretations of Frege’s remarks on indexicals. Subsequently, I try to identify a common ground between Kripke’s and Künne’s interpretations, and hint at a possible convergence between those two views, stressing the importance given by Frege to nonverbal signs in defining the content of (...) thought. I conclude by indicating a possible direction for further research. (shrink)

As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...) no medievo e na Idade Moderna. Por fim, apresentaremos, já na contemporaneidade, C. I. Lewis expondo sua teoria da implicação estrita em franca oposição à doutrina da implicação que ele julgava errada. Espera-se que este trabalho sirva como a apresentação panorâmica de um campo que em lógica ainda é muito frutífero e fecundo para aprofundamentos e novas ideias. (shrink)

There has been much debate recently on the question whether essence can explain modality. Here, I examine two routes to an essentialist account of modality. The first is Hale's argument for the necessity of essence, which I will argue is — notwithstanding recent attempted defences of it — invalid by its very structure. The second is the proposal that it is essential to essential truth that it is necessary. After offering three possible versions of the view, I will argue that (...) each fails to provide a metaphysical explanation of necessity in terms of essence. (shrink)

In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” approach (...) given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)

In this paper I give a reconstruction of Dummett’s main arguments concerning the theory of the occult origin of the Tarot, and discuss the reasons behind the success of the Tarot pack – in particular the Major Arcana – in the history of card games. I also provide some indication of the links between Dummett’s interest in the history of card games and aspects of his philosophical background. As I am not an expert on card games, this paper is mainly (...) a personal tribute to a side of Dummett’s work to which philosophers have in general paid little attention. (shrink)

In this paper, I will discuss a well-known oscillation in Frege’s conception of sense. My point is only partially concerned with his two different criteria of sense identity, and touches upon a more specific point: what happens if we apply Frege’s intuitive criterion for the difference of thoughts to logically equivalent sentences? I will try to make a schematic argument here that will preempt any endeavor to make Frege more coherent than he really is. In sections A and B, I (...) will present two alternative Fregean ways to treat the sense of logically equivalent sentences. Frege really oscillated between two alternative conceptions of sense, and his inability to detect the contrast between the two alternative conceptions is partly due to his strong conception of rationality. To apply the criterion of difference of thoughts to logical matters, we may also use a weak notion of rationality, or at least a notion of rationality of human agents, with limited computational resources. The distinctions towards which Frege was striving are better understood nowadays from the point of view of the treatment of limited rationality, which imposes itself even in logical matters. (shrink)

Is it possible to know anything about life we have not yet encountered? We know of only one example of life: our own. Given this, many scientists are inclined to doubt that any principles of Earth’s biology will generalize to other worlds in which life might exist. Let’s call this the “N = 1 problem.” By comparison, we expect the principles of geometry, mechanics, and chemistry would generalize. Interestingly, each of these has predictable consequences when applied to biology. The surface-to-volume (...) property of geometry, for example, limits the size of unassisted cells in a given medium. This effect is real, precise, universal, and predictive. Furthermore, there are basic problems all life must solve if it is to persist, such as resistance to radiation, faithful inheritance, and energy regulation. If these universal problems have a limited set of possible solutions, some common outcomes must consistently emerge. In this chapter, I discuss the N = 1 problem, its implications, and my response (Mariscal 2014). I hold that our current knowledge of biology can justify believing certain generalizations as holding for life anywhere. Life on Earth may be our only example of life, but this is only a reason to be cautious in our approach to life in the universe, not a reason to give up altogether. In my account, a candidate biological generalization is assessed by the assumptions it makes. A claim is accepted only if its justification includes principles of evolution, but no contingent facts of life on Earth. (shrink)

In this paper I deal with Richard Moran's account of self-knowledge in his book Authority and Estrangement. After presenting the main lines of his account, I contend that, in spite of its novelty and interest, it may have some shortcomings. Concerning beliefs formed through deliberation, the account would seem to face problems of circularity or regress. And it looks also wanting concerning beliefs not formed in this way. I go on to suggest a diagnosis of these problems, according to which (...) they would arise out of a view of agents too strongly dependent on the will. /// Este trabajo se ocupa de la concepción del autoconocimiento en el libro de Richard Moran Authority and Estrangement. Tras presentar las líneas maestras de dicha concepción, sostengo que ésta, a pesar de su novedad e interés, podría adolecer de defectos importantes. Así, con respecto a las creencias formadas mediante la deliberación, la propuesta de Moran parece enfrentarse a problemas de circularidad o de regreso. Y parece también insatisfactoria acerca de creencias no formadas de ese modo. Finalmente, sugiero un diagnóstico de estos problemas, según el cual éstos surgirían de una concepción de los agentes excesivamente dependiente de la voluntad. (shrink)

In this article I will begin by discussing recent criticism, by Mauro Antonelli and Werner Sauer, of the ontological interpretation of Franz Brentano’s concept of intentionality, as formulated by i.a. Roderick Chisholm. I will then outline some apparent inconsistencies of the positions advocated by Antonelli and Sauer with Brentano’s formulations of his theory in several works and lectures. This new evaluation of (unpublished) sources will then lead to a sketch of a new approach to Brentano’s theory of intentionality. Specifically, it (...) will be argued that the notion of “intentional object” is inherently and un- avoidably ambiguous in every act of external perception, due to the fact that we can only have improper intentions directed at the external world. (shrink)

Abstract: This paper is a response to Park Seungbae’s article, “Defence of Cultural Relativism”. Some of the typical criticisms of moral relativism are the following: moral relativism is erroneously committed to the principle of tolerance, which is a universal principle; there are a number of objective moral rules; a moral relativist must admit that Hitler was right, which is absurd; a moral relativist must deny, in the face of evidence, that moral progress is possible; and, since every individual belongs to (...) multiple cultures at once, the concept of moral relativism is vague. Park argues that such contentions do not affect moral relativism and that the moral relativist may respond that the value of tolerance, Hitler’s actions, and the concept of culture are themselves relative. In what follows, I show that Park’s adroit strategy is unsuc-cessful. Consequently, moral relativism is incoherent. (shrink)

In this paper we analyze Libet’s conclusions on «free will» (FW), rejecting his view of the concept and defending a partially aligned view with Wittgenstein’s early remarks on FW. First, the concept of Readiness Potential (RP) and Libet’s view are presented. Second, we offer an account of Wittgenstein´s point of view. Third, a dual-domain analysis is proposed; finally, we offer our conclusions. This article´s conclusions are part of an ongoing research.

Keith Donnellan wrote his paper on definite descriptions in 1966 at Cornell University, an environment where nearly everybody was discussing Wittgenstein’s ideas of meaning as use. However, his idea of different uses of definite descriptions became one of the fundamental tenets against descriptivism, which was considered one of the main legacies of the Frege–Russell– Wittgenstein view; and I wonder whether a more Wittgensteinian interpretation of Donnellan’s work is possible.

The paper presents the history of Italian scholars and research centres that contributed to the emergence of the analytic philosophy of language in Italy in the second half of the twentieth century. After a brief description of the work completed in the fifties, I describe the formation of a network of people interested in those contents and methods, trace the origins to the influence of different centres of research in the US and Europe and shortly describe the main events, seminars, (...) conferences and meetings linked to different universities and research groups. These early efforts created a background from which students and junior scholars could evolve and develop original research in that area. The central idea is that the work on the philosophy of language we made in Italy is part of a wider attempt at reconnecting networks of interactions among philosophers in Europe that were alive before the Nazi period. (shrink)

In this paper I shall outline a short history of the ideas concerning sense and reference of a concept-word from Frege to model theoretic semantics. I claim that, contrary to what is normally supposed, a procedural view of sense may be compatible with model theoretic semantics, especially in dealing with problems at the boundary between semantics and pragmatics. A first paragraph on the paradox of the concept horse will clarify the attitude concerning the history of ideas that I assume in (...) this paper. In the second paragraph I will discuss some misunderstandings in the shift from the sense/reference distinction in Frege to the intension/extension distinction in model theoretic semantics. In the third I will show how a particular interpretation of the Fregean sense of a concept word may be of interest for model theoretic semantics. (shrink)

I wonder whether the idea of knowing how as kind of knowing that with a peculiar mode of presentation really helps in the debate between philosophers and scientists.

In his paper “What the externalist can know a priori”, Paul Boghossian rejects the compatibility between self-knowledge and content externalism by arguing that compatibilists are committed to the absurd view that a subject can know, by reasoning purely a priori, substantive truths about the world, such as that water exists. In this paper I try to show that Boghossian’s incompatibilist argument does not succeed. According to Boghossian, it is enough, for an externalist to reach the undesired conclusion, that she satisfies (...) a number of conditions that can be known by her a priori. I argue that, by an externalist’s lights, some of these conditions are simply too weak to be acceptable by her and some of them can only be known a posteriori. So, compatibilists are not committed to the absurdity Boghossian ascribes to them. (shrink)

The goal of ethical veganism is a vegan world or, at least, a significantly vegan world. However, despite the hard work done by vegan activists, global meat consumption has been increasing (Saiidi 2019; Christen 2021). Vegan advocates have focused on ethics but have ignored the importance of tradition and identity. And the advent of veggie meat alternatives has promoted food that emulates animal products thereby perpetuating the meat paradigm. I suggest that, in order to make significant changes toward ending animal (...) exploitation, ethical vegans give more attention to tradition and identity. Furthermore, I propose that raw veganism is the most ethical diet and can be the best way to move away from animal-based food. (shrink)

Davidson’s antisceptical considerations, like Putnam’s, are transcendental in character: they start from facts that the sceptic has to accept, and are intended to show that those facts would not be such if the sceptical hypotheses were true. It is doubtful that these considerations are finally successful. However, I do not think that Davidson was really interested in a detailed refutation of scepticism. His interest focused instead on the context which gives rise to it: the Cartesian image of the relationships between (...) subjectivity, intersubjectivity, and objectivity. Correspondingly, the true value of Davidson’s antisceptical reflections lies in the alternative image that inspires them, in the light of which scepticism no longer appears as an urgent and interesting problem. (shrink)

In recent decades much literature has been produced on disagreement; the puzzling conclusion being that epistemic disagreement is, for the most part, either impossible (e.g. Aumann (Ann Stat 4(6):1236–1239, 1976)), or at least easily resolvable (e.g. Elga (Noûs 41(3):478–502, 2007)). In this paper I show that, under certain conditions, an equally puzzling result arises: that is, disagreement cannot be rationally resolved by belief updating. I suggest a solution to the puzzle which makes use of some of the principles of Hintikka’s (...) Socratic epistemology. (shrink)

In this paper I address the question whether self-knowledge is compatible with an externalist individuation of mental content. Against some approaches, I consider self-knowledge as a genuine cognitive achievement. Though it is neither incorrigible nor infallible, self-knowledge is direct, a priori (no based on empirical investigation), presumptively true and authoritative. The problem is whether self-knowledge, so understood, is compatible with externalism. My answer will be affirmative. I will defend this species of compatibilism against several objections, in particular those based on (...) the possibility of an individual’s being unwittingly switched between worlds. (shrink)

Context is a concept used by philosophers and scientists with many different definitions. Since Dummett we speak of "context principle" in Frege and Wittgenstein: "an expression has a meaning only in the context of a sentence". The context principle finds an extension in some of Wittgenstein's ideas, especially in his famous passage where he says that "to understand a sentence is to understand a language". Given that Wittgenstein believes that "the" language does not exist but only language games exist, we (...) should conclude that he is speaking of the need to consider any sentence always in the context of a language game1. This general attitude is certainly attuned with the contemporary tendency to place contextual restrictions to the interpretations of our sentences. However we find so many kinds and forms of restrictions that this general attitude is not enough to give us a viable tool to find an order in the web of so many different theories of context. To look for an order or, at least a clarification, we may start with two contrasting paradigms of theories: the "objective" theory of contexts, where context is a set of features of the world, and the "subjective" theories of context, where context is the cognitive background of a speaker or agent in respect to a situation2. We have here not only two different ways of using the term "context" but also two different conceptions of semantics and philosophy. The different conceptions are normally associated, respectively, with the classical paradigm of model theoretic semantics (Kaplan, Lewis Stalnaker) on one hand and with the A.I. paradigm (McCarthy, Buvac, Giunchiglia) on the other hand. For sake of simplicity I will restrict my attention3 mainly to Kaplan 1989 and to McCarthy 1993 and Giunchiglia 1993. The two different conceptions can be summarised with the following schema: a) context as: set of features of the world.. (shrink)

In this paper I apply a well known tension between cognitive and semantic aspects in Frege’s notion of sense to his treatment of indexicals. I first discusses Burge’s attack against the identification of sense and meaning, and Kripke’s answer supporting such identification. After showing different problems for both interpreters, the author claims that the tension in Frege’s conception of sense (semantic and cognitive) accounts for some shortcomings of both views, and that considering the tension helps in understanding apparently contradictory Fregean (...) claims about sameness of sense of sentences with indexicals. I conclude that the Fregean notion of sense, also in its cognitive aspect, cannot be reduced to linguistic meaning, and that the Fregean tension between two notions of sense may also explain the discussion Frege gives on the indexical “I”, proposing to develop a picture of indexicals as hidden complex demonstratives, as originally suggested by Burge. (shrink)

In her analysis of pejoratives, Eva Picardi rejects a too sharp separation between descriptive and expressive content. I reconstruct some of her arguments, endorsing Eva’s criticism of Williamson’s analysis of Dummett and developing a suggestion by Manuel Garcia Carpintero on a speech act analysis of pejoratives. Eva’s main concern is accounting for our instinctive refusal to endorse an assertion containing pejoratives because it suggests a picture of reality we do not share. Her stance might be further developed claiming that uses (...) of pejoratives not only suggest, but also promote a wrong picture of reality. Our refusal to endorse implies rejecting not only a wrong picture of reality but also a call for participation to what that picture promotes. (shrink)

In a recent article, Robert Lockie brings about a critical examination of three Frankfurtstyle cases designed by David Widerker and Derk Pereboom. His conclusion is that these cases do not refute either the Principle of Alternative Possibilities or some cognate leeway principle for moral responsibility. Though I take the conclusion to be true, I contend that Lockie's arguments do not succeed in showing it. I concentrate on Pereboom's Tax Evasion 2. After presenting Pereboom's example and analyzing its structure, I distinguish (...) two strategies of Lockie's to defend PAP against it, which I call "No True Alternative Decision" and "No Responsibility", respectively. According to NTAD, Pereboom's example fails because the agent has alternatives to his decision. I hold that this strategy is faulty because the alternatives that Lockie points to are arguably not robust enough to save PAP. According to NR, the example fails because the agent is not blameworthy for his decision. After defending the intuitiveness of the agent's blameworthiness, I present Lockie's arguments against this blameworthiness and suggest that they might beg the question against Frankfurt theorists. I examine Lockie's main response to this question-begging objection and hold that it does not clearly succeed in meeting it. Moreover, I hold that this response faces other important problems. Additional responses appear to be unsatisfactory as well. Hence, Lockie's defense of the agent's blamelessness lacks justification. The general conclusion is that Lockie does not succeed in defusing Pereboom's Tax Evasion 2 as a counterexample to PAP. (shrink)

In her recent book Causation and Free Will, Carolina Sartorio develops a distinctive version of an actual-sequence account of free will, according to which, when agents choose and act freely, their freedom is exclusively grounded in, and supervenes on, the actual causal history of such choices or actions. Against this proposal, I argue for an alternative- possibilities account, according to which agents’ freedom is partly grounded in their ability to choose or act otherwise. Actual-sequence accounts of freedom are motivated by (...) a reflection on so-called Frankfurt cases. Instead, other cases, such as two pairs of examples originally designed by van Inwagen, threaten actual-sequence accounts, including Sartorio’s. On the basis of her view of causation, Sartorio contends, however, that the two members of each pair have different causal histories, so that her view is not undermined by those cases after all. I discuss these test cases further and defend my alternative-possibilities account of freedom. (shrink)